Higher Computing - PDFSEARCH.IO - Document Search Engine

Higher Computing
Results: 1165

#	Item
231	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
232	Step up to Higher Performance Monochrome Graphic & Character LCDs These new STN LCDs offer designers a range of passive matrix display solutions. Optrex STEP Add to Reading List Source URL: www.singlechips.com Language: English - Date: 2012-06-15 14:37:15 Liquid crystal display Computing Restriction of Hazardous Substances Directive X Window System Software Environment Display technology
233	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
234	(An Introduction To) Functional Programming Sean Corfield Railo Technologies, Inc. cf.Objective(), May 12-14, 2011 Minneapolis, MN Add to Reading List Source URL: corfield.org Language: English - Date: 2011-05-14 11:58:01 Functional languages Higher-order functions Functional programming Programming paradigms Lisp programming language Railo Lisp Clojure ColdFusion Markup Language Software engineering Computing Computer programming
235	FOR INTERNAL SCRUTINY (date of this version: UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-12 04:27:31 Higher-order functions Recursion Fold Binary tree String Function Computing Mathematics Software engineering
236	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Lambda calculus Data types Lisp programming language Racket System F Type system Typed lambda calculus Software engineering Programming language theory Computing
237	BSc (Hons) Music Computing Programme Specification EDM-DJPrimary Purpose: Course management, monitoring and quality assurance. Add to Reading List Source URL: psd.docstore.port.ac.uk Language: English - Date: 2014-12-19 08:40:11 Open University E-learning Key Skills Qualification Westminster International University in Tashkent FTMS College Kuala Lumpur Education Association of Commonwealth Universities Quality Assurance Agency for Higher Education
238	Praise for Higher-Order PerlAs a programmer, your bookshelf is probably overflowing with books that did nothing to change the way you programor think about programming. You’re going to need a completely d Add to Reading List Source URL: hop.perl.plover.com Language: English - Date: 2010-07-13 15:50:45 Higher-Order Perl Memoization Scripting languages Cross-platform software Procedural programming languages Perl 6 Perl Iterator Mark Jason Dominus Computing Computer programming Software engineering
239	The National University of Singapore Graduate Division, School of Computing HIGHER DEGREE AND/OR RESEARCH SCHOLARSHIP APPLICATION Graduate Program / Doctor of Philosophy Transcript Request Form Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2013-09-17 22:16:55 National University of Singapore Queenstown Singapore Tanglin Transcript Knowledge Graduate school Academia Education Association of Commonwealth Universities
240	Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama Oleg Kiselyov Add to Reading List Source URL: okmij.org Language: English - Date: 2014-03-08 07:11:20 Type theory Functional languages Functional programming Data types Program analysis Type system Higher-order abstract syntax Haskell OCaml Software engineering Computing Computer programming

UPDATE